منابع مشابه
Physics and Leibnizs Principles
Leibnizs principles made for an elegant and coherent philosophy. In part metaphysical, in part methodological, they addressed fundamental questions in the treatment of symmetry, in the relationship of physics to mathematics, in logic that are if anything even more pressing today than they were in Leibnizs time. As I shall read them, they also expressed a distinctive and uncompromising form of...
متن کاملMonad normalisation
The usual monad laws can directly be used as rewrite rules for Isabelle’s simplifier to normalise monadic HOL terms and decide equivalences. In a commutative monad, however, the commutativity law is a higher-order permutative rewrite rule that makes the simplifier loop. This AFP entry implements a simproc that normalises monadic expressions in commutative monads using ordered rewriting. The sim...
متن کاملNotions of Monad Strength
Over the past two decades the notion of a strong monad has found wide applicability in computing. Arising out of a need to interpret products in computational and semantic settings, different approaches to this concept have arisen. In this paper we introduce and investigate the connections between these approaches and also relate the results to monad composition. We also introduce new methods f...
متن کاملModular Monad Transformers
During the last two decades, monads have become an indispensable tool for structuring functional programs with computational effects. In this setting, the mathematical notion of a monad is extended with operations that allow programmers to manipulate these effects. When several effects are involved, monad transformers can be used to build up the required monad one effect at a time. Although thi...
متن کاملThe Isbell monad
Article history: Received 30 October 2014 Accepted 6 January 2015 Available online xxxx Communicated by Ross Street MSC: 18A32 18B15
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: NeuroQuantology
سال: 2007
ISSN: 1303-5150
DOI: 10.14704/nq.2006.4.3.100